منابع مشابه
the algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولTrace Homomorphism for Smooth Manifolds
Let M be a closed connected smooth manifold and G = Diff0(M) denote the connected component of the diffeomorphism group of M containing the identity. The natural action of G on M induces the trace homomorphism on homology. We show that the image of trace homomorphism is annihilated by the subalgebra of the cohomology ring of M , generated by the characteristic classes of M . Analogously, if J i...
متن کاملEvent Structures and Trace Monoids
Rozoy, B. and P.S. Thiagarajan, Event structures and trace monoids, Theoretical Computer Science 91 (1991) 285-313. Event structures are a poset-based model for describing the behaviour of distributed systems. They give rise to a well-understood class of Scott domains. Event structures are also related to Petri nets in a fundamental way. Trace monoids are a string-based formalism for describing...
متن کاملPattern Matching in Trace Monoids
An algorithm is presented solving the factor problem in trace monoids Given two traces represented by words the algorithm determines in linear time whether the rst trace is a factor of the second one The space used for this task is linear in the length of the rst word Similar to the Knuth Morris Pratt Algorithm for the factor problem on words the algorithm simulates a nite automaton determined ...
متن کاملMatrix representations of trace monoids
We consider trace monoids i.e., free monoids where some pairs of letters are allowed to commute. We show that such monoids can be faithfully represented by 22-matrices with integer entries if and only if it they are direct products of a free commutative monoid with a free product of free commutative monoids.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2003
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(03)00101-4